Applying formal methods to standard development: The open distributed processing experience
نویسندگان
چکیده
منابع مشابه
Applying Formal Methods to Standard Development: The Open Distributed Processing Experience
Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architect...
متن کاملPractical Experience Applying Formal Methods to Air Traffic Management Software
This paper relates experiences with formal methods that are relevant to the systems engineering activities of requirements specification, design documentation, and test case generation. Specifically, this paper reviews the lessons learned from the application of formal methods to selected components of an air traffic management system. This project used experimental tools developed at the Unive...
متن کاملApplying Formal Methods in
The use of formal methods in real project is still a challenge. The paper reports the results of a Trial Project, partially funded by the European Communities, with the goal to measure diiculties and beneets associated with the use of integrated graphical and textual formal specii-cation languages. The reference application used for the trial project was the development of a platform door contr...
متن کاملApplying Formal Methods for Human
This paper describes recent work concerned with the spe-ciication of requirements on interactive systems and the deenition of user-level properties of such systems. A formal notation for describing and reasoning about the behaviour of systems and emergent properties is discussed, along with a technique that uses the formalism to investigate the resilience of systems to operator errors. These te...
متن کاملExperience with Applying Formal Methods to Protocol Specification and System Architecture
In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel’s processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Standards & Interfaces
سال: 1995
ISSN: 0920-5489
DOI: 10.1016/0920-5489(95)00025-p